Knitting for Fun: A Recursive Sweater
نویسندگان
چکیده
In this paper we investigate the relations between knitting and computer science. We show that the two disciplines share many concepts. Computer science, in particular algorithm theory, can suggest a lot of powerful tools that can be used both in descriptive and prescriptive ways and that apparently have not yet been used for creative knitting. The obtained results are short (optimal size) recursive descriptions for complex patterns; creation of new complex recursive patterns; and the application of three-valued algebra operations to combine and create a wide variety of new patterns.
منابع مشابه
Subtyping recursion and parametric polymorphism in kernel fun
We study subtype checking for recursive types in system kernel Fun, a typed λcalculus with subtyping and bounded second-order polymorphism. Along the lines of [AC93], we define a subtype relation over kernel Fun recursive types, and prove it to be transitive. We then show that the natural extension of the algorithm introduced in [AC93] to compare first-order recursive types yields a non complet...
متن کاملThe Design of Knitting Dress and the Development Orientation of Knitting Enterprises
At present, in the fashion domain, the uniform advantage of tatting products have been broken by knitting products which suddenly rise and partly occupy the market, so the situation that knitting products and tatting products occupy the market together begins to form. Because of their own characters of knitting dress or tatting dress, they can not be replaced. But in future, the knitting dress ...
متن کاملSubtyping Recursive Types in Kernel Fun, Preliminary Draft
The problem of deening and checking a subtype relation between recursive types was studied in AC93] for a rst order type system, but for second order systems, which combine subtyping and parametric polymorphism, only negative results are known Ghe93b]. This paper studies the problem of subtype checking for recursive types in system kernel Fun, a typed-calculus with subtyping and bounded second ...
متن کاملSubtyping Recursive Types in Kernel Fun
The problem of defining and checking a subtype relation between recursive types was studied in [3] for a first order type system, but for second order systems, which combine subtyping and parametric polymorphism, only negative results are known [17]. This paper studies the problem of subtype checking for recursive types in system kernel Fun, a typed -calculus with subtyping and bounded second o...
متن کاملDomain Specific Language for Modular Knitting Pattern Definitions: Purl
Purl is a language to be used for modular definition and verification of knitting patterns. The syntax is similar to the standard knitting pattern notation provided by the Craft Yarn Council. Purl provides constructs not available in the standard notation to allow reuse of segments of patterns. This report describes the basics of knitting and hand-knitting patterns. A knitting pattern language ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007